sequenceDiagram
    participant U as User
    participant V as Editor View (CodeMirror)
    participant UT as utils.ts
    participant C as commands.ts
    participant T as Syntax Tree (Lezer)
    participant S as Notebook Store (Jotai)

    U->>V: Trigger "Go to Definition" (F12/Cmd+Click)
    V->>UT: goToDefinitionAtCursorPosition(view)
    
    UT->>UT: getWordUnderCursor(state)
    Note right of UT: CHANGED: Now returns both<br/>variable name AND position

    UT->>C: NEW: goToVariableDefinition(view, name, position)
    
    C->>T: resolveInner(position)
    T-->>C: SyntaxNode
    
    C->>C: NEW: getScopeChain(tree, position)
    Note right of C: Build hierarchy of scopes<br/>(Function, Class, Global)

    C->>C: NEW: collectMatchingDeclarations(tree)
    C->>T: iterate tree nodes
    T-->>C: VariableName, ParamList, etc.

    C->>C: NEW: findScopedDefinitionPosition()
    Note right of C: Filter declarations by lexical<br/>scope and position sensitivity

    alt Local Definition Found
        C->>V: focus() and setSelection(foundPosition)
        C-->>UT: true
    else Not Found Locally (Reactive/Global Fallback)
        C-->>UT: false
        UT->>S: getEditorForVariable(variableName)
        Note over UT,S: Checks marimo variablesAtom<br/>for definitions in other cells
        
        alt Found in Other Cell
            S-->>UT: Target Editor View
            UT->>C: findFirstMatchingVariable(targetView, name)
            C->>T: iterate tree (first match)
            T-->>C: position
            C->>V: focus target view and setSelection
            UT-->>V: true
        else Not Found Anywhere
            S-->>UT: null
            UT-->>V: false
        end
    end